Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
971	Carnap’s Tolerance, Language Change and Logical Pluralism G REG R ESTALL∗ Add to Reading List Source URL: www.consequently.org Language: English - Date: 2001-08-21 00:04:12 Non-classical logic Propositional calculus Logical consequence Logical truth Entailment Philosophy of logic Argument Negation Interpretation Logic Philosophy Philosophical logic
972	Deontic Logic G. H. von Wright Mind, New Series, Vol. 60, No[removed]Jan., 1951), pp. 1-15. Add to Reading List Source URL: www.filosofiajuridica.com.br Language: English - Date: 2007-08-22 16:35:38 Semantics Propositional calculus Boolean algebra Modal logic Philosophical logic Deontic logic Negation Truth table Tautology Logic Mathematical logic Mathematics
973	Lecture 1: An Introduction to Boolean Algebra The operation of almost all modern digital computers is based on two-valued or binary systems. Binary systems were known in the ancient Chinese civilisation and by the classical Greek philosophers who created a well Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-10-05 12:21:59 Propositional calculus Boolean algebra Logical connectives Algebraic logic Semantics Negation Truth table Proposition Truth Logic Mathematical logic Mathematics
974	TARSKI, FREGE AND THE LIAR PARADOX Aaron Sloman, School of Computer Science, The University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2003-10-19 12:17:42 Philosophy of language Meaning Propositional calculus Veracity Truth Liar paradox Semantics Proposition Function Logic Philosophy Philosophical logic
975	227 ARTIFICIAL INTELLIGENCE Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-12-18 06:42:49 Automated theorem proving Rules of inference Resolution Logic programming Propositional calculus First-order logic Derivation SLD resolution SL Logic Mathematical logic Theoretical computer science
976	Knowledge Representation and Reasoning Logics for Artificial Intelligence Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2009-11-24 15:49:50 Model theory Rules of inference Quantification First-order logic Universal quantification Propositional calculus Inference Resolution FO Logic Mathematical logic Predicate logic
977	Implementing a Propositional Logic Theorem Prover in Haskell Submitted 21st April 2010 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-08-25 07:41:14 Logical syntax Automated theorem proving Model theory First-order logic Resolution Theorem Vampire Tautology Soundness Logic Mathematical logic Propositional calculus
978	Mathematical Logic with Diagrams Based on the Existential Graphs of Peirce Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2008-01-27 23:15:42 Charles Sanders Peirce Diagrams Philosophical logic Existential graph Logical graph First-order logic Propositional calculus Well-formed formula Function Logic Mathematical logic Mathematics
979	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:40:33 Propositional calculus Mathematical logic Philosophical logic Boolean algebra Classical logic Principia Mathematica Axiom of reducibility Function Contradiction Logic Mathematics Philosophy
980	PDF Document Add to Reading List Source URL: web.engr.oregonstate.edu Language: English - Date: 2010-01-08 15:44:32 Propositional calculus Formal languages Model theory Interpretation First-order logic Well-formed formula Proposition Function Atomic formula Logic Mathematical logic Predicate logic

UPDATE